axiom-deduction method

公理-演绎法